(set-info :source |fuzzsmt|)
(set-info :smt-lib-version 2.0)
(set-info :category "random")
(set-info :status unknown)
(set-logic QF_UF)
(declare-sort S0 0)
(declare-fun v0 () S0)
(declare-fun f0 ( S0) S0)
(declare-fun p0 ( S0) Bool)
(assert (let ((e1 (f0 v0)))
(let ((e2 (p0 e1)))
(let ((e3 (p0 e1)))
(let ((e4 (p0 v0)))
(let ((e5 (ite e2 e1 e1)))
(let ((e6 (ite e3 v0 e1)))
(let ((e7 (ite e4 e1 v0)))
(let ((e8 (p0 e1)))
(let ((e9 (p0 e5)))
(let ((e10 (p0 e6)))
(let ((e11 (p0 e7)))
(let ((e12 (p0 v0)))
(let ((e13 (xor e11 e3)))
(let ((e14 (ite e9 e4 e13)))
(let ((e15 (or e8 e8)))
(let ((e16 (not e10)))
(let ((e17 (= e15 e14)))
(let ((e18 (ite e12 e2 e16)))
(let ((e19 (not e17)))
(let ((e20 (xor e18 e18)))
(let ((e21 (or e19 e19)))
(let ((e22 (or e20 e20)))
(let ((e23 (or e21 e22)))
e23
))))))))))))))))))))))))

(check-sat)
